Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations

The conformance testing of programming language implementations is crucial to support correct and consistent execution environments. Because manually maintaining tests for real-world languages cumbersome labor-intensive, researchers have presented various ways make effective efficient. One such approach use graph coverage, one the most widely-used coverage criteria, generate that reach different parts a mechanized specification. Since specifications functions or inductive definitions describe semantics features, traditional criteria software work as they are. However, may not produce high-quality because often specialized paths even when their descriptions same functions. Traditional distinguish test requirements which degrades quality testing. Similarly, it feature We present feature-sensitive (FS) novel criterion implementations. It general extension refining conventional using innermost enclosing features. also introduce feature-call-path-sensitive (FCPS) variant FS extend both